# typed: true

case foo; in "#{ 'a' }": 1 then true; end
